Weak Choice Principles and Forcing Axioms
نویسندگان
چکیده
Forcing is a technique that was discovered by Cohen in the mid 20th century, and it is particularly useful in proving independence results. The process involves adding new, generic elements to your universe and using them to prove a result. In many applications this is encapsulated by the addition of suitable axioms, often these are Forcing Axioms. One of the first such principles is known as Martin’s Axiom(MA). For explanation and background of MA see Kunen [3]. In general we consider the basic format of a forcing axiom to be as follows:
منابع مشابه
Hierarchies of Forcing Axioms, the Continuum Hypothesis and Square Principles
I analyze the hierarchies of the bounded and the weak bounded forcing axioms, with a focus on their versions for the class of subcomplete forcings, in terms of implications and consistency strengths. For the weak hierarchy, I provide level-by-level equiconsistencies with an appropriate hierarchy of partially remarkable cardinals. I also show that the subcomplete forcing axiom implies Larson’s o...
متن کاملOn characterizations of the fully rational fuzzy choice functions
In the present paper, we introduce the fuzzy Nehring axiom, fuzzy Sen axiom and weaker form of the weak fuzzycongruence axiom. We establish interrelations between these axioms and their relation with fuzzy Chernoff axiom. Weexpress full rationality of a fuzzy choice function using these axioms along with the fuzzy Chernoff axiom.
متن کاملForcing Axioms and Cardinal Arithmetic
We survey some recent results on the impact of strong forcing axioms such as the Proper Forcing Axiom PFA and Martin’s Maximum MM on cardinal arithmetic. We concentrate on three combinatorial principles which follow from strong forcing axioms: stationary set reflection, Moore’s Mapping Reflection Principle MRP and the P-ideal dichotomy introduced by Abraham and Todorčević which play the key rol...
متن کاملNotes to “The Resurrection Axioms”
I will discuss a new class of forcing axioms, the Resurrection Axioms (RA), and the Weak Resurrection Axioms (wRA). While Cohen’s method of forcing has been designed to change truths about the set-theoretic universe you live in, the point of Resurrection is that some truths that have been changed by forcing can in fact be resurrected, i.e. forced to hold again. In this talk, I will illustrate h...
متن کاملOn a Class of Maximality Principles
We study various classes of maximality principles, MP(κ,Γ), introduced by J.D. Hamkins in [6], where Γ defines a class of forcing posets and κ is an infinite cardinal. We explore the consistency strength and the relationship of MP(κ,Γ) with various forcing axioms when κ ∈ {ω, ω1}. In particular, we give a characterization of bounded forcing axioms for a class of forcings Γ in terms of maximalit...
متن کامل